<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>Predefined Concepts</title>
<link rel="stylesheet" href="../../../doc/src/boostbook.css" type="text/css">
<meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
<link rel="home" href="../index.html" title="The Boost C++ Libraries BoostBook Documentation Subset">
<link rel="up" href="../boost_typeerasure.html" title="Chapter 38. Boost.TypeErasure">
<link rel="prev" href="conceptdef.html" title="Concept Definitions">
<link rel="next" href="reference.html" title="Reference">
<meta name="viewport" content="width=device-width, initial-scale=1">
</head>
<body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
<table cellpadding="2" width="100%"><tr>
<td valign="top"><img alt="Boost C++ Libraries" width="277" height="86" src="../../../boost.png"></td>
<td align="center"><a href="../../../index.html">Home</a></td>
<td align="center"><a href="../../../libs/libraries.htm">Libraries</a></td>
<td align="center"><a href="http://www.boost.org/users/people.html">People</a></td>
<td align="center"><a href="http://www.boost.org/users/faq.html">FAQ</a></td>
<td align="center"><a href="../../../more/index.htm">More</a></td>
</tr></table>
<hr>
<div class="spirit-nav">
<a accesskey="p" href="conceptdef.html"><img src="../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../boost_typeerasure.html"><img src="../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="reference.html"><img src="../../../doc/src/images/next.png" alt="Next"></a>
</div>
<div class="section">
<div class="titlepage"><div><div><h2 class="title" style="clear: both">
<a name="boost_typeerasure.predef"></a><a class="link" href="predef.html" title="Predefined Concepts">Predefined Concepts</a>
</h2></div></div></div>
<p>
      In the following tables, <code class="computeroutput"><span class="identifier">T</span></code>
      and <code class="computeroutput"><span class="identifier">U</span></code> are the types that the
      operation applies to, <code class="computeroutput"><span class="identifier">R</span></code> is
      the result type. <code class="computeroutput"><span class="identifier">T</span></code> always defaults
      to <code class="computeroutput"><span class="identifier">_self</span></code> to match the default
      behavior of any. These concepts assume normal semantics. Thus, comparison operators
      always return bool, and references will be added to the arguments and results
      as appropriate.
    </p>
<p>
      Except as otherwise noted, primitive concepts defined by the library can be
      specialized to provide concept maps. <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1copy__constructible.html" title="Struct template copy_constructible">copy_constructible</a></code>,
      and the iterator concepts cannot be specialized because they are composites.
      <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1constructible.html" title="Struct template constructible">constructible</a></code>,
      <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1destructible.html" title="Struct template destructible">destructible</a></code>,
      <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1typeid__.html" title="Struct template typeid_">typeid_</a></code>, and <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1same__type.html" title="Struct template same_type">same_type</a></code> cannot be specialized
      because they require special handling in the library.
    </p>
<div class="table">
<a name="boost_typeerasure.predef.special"></a><p class="title"><b>Table 38.1. Special Members</b></p>
<div class="table-contents"><table class="table" summary="Special Members">
<colgroup>
<col>
<col>
</colgroup>
<thead><tr>
<th>
              <p>
                concept
              </p>
            </th>
<th>
              <p>
                notes
              </p>
            </th>
</tr></thead>
<tbody>
<tr>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1constructible.html" title="Struct template constructible">constructible</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">Sig</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1copy__constructible.html" title="Struct template copy_constructible">copy_constructible</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1destructible.html" title="Struct template destructible">destructible</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1assignable.html" title="Struct template assignable">assignable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="keyword">const</span>
                <span class="identifier">T</span><span class="special">&amp;&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1typeid__.html" title="Struct template typeid_">typeid_</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
</tbody>
</table></div>
</div>
<br class="table-break"><div class="table">
<a name="boost_typeerasure.predef.unary"></a><p class="title"><b>Table 38.2. Unary Operators</b></p>
<div class="table-contents"><table class="table" summary="Unary Operators">
<colgroup>
<col>
<col>
<col>
</colgroup>
<thead><tr>
<th>
              <p>
                operator
              </p>
            </th>
<th>
              <p>
                concept
              </p>
            </th>
<th>
              <p>
                notes
              </p>
            </th>
</tr></thead>
<tbody>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">++</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1incrementable.html" title="Struct template incrementable">incrementable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                There is no separate post-increment
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">--</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1decrementable.html" title="Struct template decrementable">decrementable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                There is no separate post-decrement
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">*</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1dereferenceable.html" title="Struct template dereferenceable">dereferenceable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">R</span><span class="special">,</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><span class="identifier">R</span></code> should usually
                be a reference
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">~</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1complementable.html" title="Struct template complementable">complementable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">-</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1negatable.html" title="Struct template negatable">negatable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
</tbody>
</table></div>
</div>
<br class="table-break"><div class="table">
<a name="boost_typeerasure.predef.binary"></a><p class="title"><b>Table 38.3. Binary Operators</b></p>
<div class="table-contents"><table class="table" summary="Binary Operators">
<colgroup>
<col>
<col>
<col>
</colgroup>
<thead><tr>
<th>
              <p>
                operator
              </p>
            </th>
<th>
              <p>
                concept
              </p>
            </th>
<th>
              <p>
                notes
              </p>
            </th>
</tr></thead>
<tbody>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">+</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1addable.html" title="Struct template addable">addable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">-</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1subtractable.html" title="Struct template subtractable">subtractable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">*</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1multipliable.html" title="Struct template multipliable">multipliable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">/</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1dividable.html" title="Struct template dividable">dividable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">%</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1modable.html" title="Struct template modable">modable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">&amp;</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1bitandable.html" title="Struct template bitandable">bitandable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">|</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1bitorable.html" title="Struct template bitorable">bitorable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">^</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1bitxorable.html" title="Struct template bitxorable">bitxorable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">&lt;&lt;</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1left__shiftable.html" title="Struct template left_shiftable">left_shiftable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">&gt;&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1right__shiftable.html" title="Struct template right_shiftable">right_shiftable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">==</span></code>
                and <code class="computeroutput"><span class="special">!=</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1equality__comparable.html" title="Struct template equality_comparable">equality_comparable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><span class="special">!=</span></code> is implemented in
                terms of <code class="computeroutput"><span class="special">==</span></code>
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">&lt;</span></code>,
                <code class="computeroutput"><span class="special">&gt;</span></code>, <code class="computeroutput"><span class="special">&lt;=</span></code>, and <code class="computeroutput"><span class="special">&gt;=</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1less__than__comparable.html" title="Struct template less_than_comparable">less_than_comparable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                All are implemented in terms of <code class="computeroutput"><span class="special">&lt;</span></code>
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">+=</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1add__assignable.html" title="Struct template add_assignable">add_assignable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">-=</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1subtract__assignable.html" title="Struct template subtract_assignable">subtract_assignable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">*=</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1multiply__assignable.html" title="Struct template multiply_assignable">multiply_assignable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">/=</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1divide__assignable.html" title="Struct template divide_assignable">divide_assignable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">%=</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1mod__assignable.html" title="Struct template mod_assignable">mod_assignable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">&amp;=</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1bitand__assignable.html" title="Struct template bitand_assignable">bitand_assignable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">|=</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1bitor__assignable.html" title="Struct template bitor_assignable">bitor_assignable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">^=</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1bitxor__assignable.html" title="Struct template bitxor_assignable">bitxor_assignable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">&lt;&lt;=</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1left__shift__assignable.html" title="Struct template left_shift_assignable">left_shift_assignable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">&gt;&gt;=</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1right__shift__assignable.html" title="Struct template right_shift_assignable">right_shift_assignable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">&lt;&lt;</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1ostreamable.html" title="Struct template ostreamable">ostreamable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">Os</span>
                <span class="special">=</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">ostream</span><span class="special">,</span> <span class="identifier">T</span> <span class="special">=</span> <span class="identifier">_self</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">&gt;&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1istreamable.html" title="Struct template istreamable">istreamable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">Is</span>
                <span class="special">=</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">istream</span><span class="special">,</span> <span class="identifier">T</span> <span class="special">=</span> <span class="identifier">_self</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
</tbody>
</table></div>
</div>
<br class="table-break"><div class="table">
<a name="boost_typeerasure.predef.misc"></a><p class="title"><b>Table 38.4. Miscellaneous Operators</b></p>
<div class="table-contents"><table class="table" summary="Miscellaneous Operators">
<colgroup>
<col>
<col>
<col>
</colgroup>
<thead><tr>
<th>
              <p>
                operator
              </p>
            </th>
<th>
              <p>
                concept
              </p>
            </th>
<th>
              <p>
                notes
              </p>
            </th>
</tr></thead>
<tbody>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">()</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1callable.html" title="Struct template callable">callable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">Sig</span><span class="special">,</span> <span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><span class="identifier">Sig</span></code> should be a function
                type. T may be const qualified.
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><span class="keyword">operator</span><span class="special">[]</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1subscriptable.html" title="Struct template subscriptable">subscriptable</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">R</span><span class="special">,</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">N</span> <span class="special">=</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">ptrdiff_t</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                <code class="computeroutput"><span class="identifier">R</span></code> should usually
                be a reference. <code class="computeroutput"><span class="identifier">T</span></code>
                can be optionally const qualified.
              </p>
            </td>
</tr>
</tbody>
</table></div>
</div>
<br class="table-break"><div class="table">
<a name="boost_typeerasure.predef.iterator"></a><p class="title"><b>Table 38.5. Iterator Concepts</b></p>
<div class="table-contents"><table class="table" summary="Iterator Concepts">
<colgroup>
<col>
<col>
</colgroup>
<thead><tr>
<th>
              <p>
                concept
              </p>
            </th>
<th>
              <p>
                notes
              </p>
            </th>
</tr></thead>
<tbody>
<tr>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1iterator.html" title="Struct template iterator">iterator</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">Traversal</span><span class="special">,</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">Reference</span><span class="special">,</span> <span class="identifier">Difference</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                Use <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1same__type.html" title="Struct template same_type">same_type</a></code>
                to control the iterator's value type.
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1forward__iterator.html" title="Struct template forward_iterator">forward_iterator</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">Reference</span><span class="special">,</span> <span class="identifier">Difference</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1bidirectional__iterator.html" title="Struct template bidirectional_iterator">bidirectional_iterator</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">Reference</span><span class="special">,</span> <span class="identifier">Difference</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
<tr>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1random__access__iterator.html" title="Struct template random_access_iterator">random_access_iterator</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">Reference</span><span class="special">,</span> <span class="identifier">Difference</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                -
              </p>
            </td>
</tr>
</tbody>
</table></div>
</div>
<br class="table-break"><div class="table">
<a name="boost_typeerasure.predef.special0"></a><p class="title"><b>Table 38.6. Special Concepts</b></p>
<div class="table-contents"><table class="table" summary="Special Concepts">
<colgroup>
<col>
<col>
</colgroup>
<thead><tr>
<th>
              <p>
                concept
              </p>
            </th>
<th>
              <p>
                notes
              </p>
            </th>
</tr></thead>
<tbody><tr>
<td>
              <p>
                <code class="computeroutput"><a class="link" href="../doxygen/structboost_1_1type__erasure_1_1same__type.html" title="Struct template same_type">same_type</a></code><code class="computeroutput"><span class="special">&lt;</span><span class="identifier">T</span><span class="special">&gt;</span></code>
              </p>
            </td>
<td>
              <p>
                Indicates that two types are the same.
              </p>
            </td>
</tr></tbody>
</table></div>
</div>
<br class="table-break">
</div>
<div class="copyright-footer">Copyright © 2011-2013 Steven Watanabe<p>
        Distributed under the Boost Software License, Version 1.0. (See accompanying
        file LICENSE_1_0.txt or copy at <a href="http://www.boost.org/LICENSE_1_0.txt" target="_top">http://www.boost.org/LICENSE_1_0.txt</a>)
      </p>
</div>
<hr>
<div class="spirit-nav">
<a accesskey="p" href="conceptdef.html"><img src="../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../boost_typeerasure.html"><img src="../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="reference.html"><img src="../../../doc/src/images/next.png" alt="Next"></a>
</div>
</body>
</html>
